$\vdash$  $\forall$$A$:Type, $f$:($A$$\rightarrow$($A$ + Top)), $n$:$\mathbb{N}$. $f$\^{}$n$ $\in$ $A$$\rightarrow$($A$ + Top)